Error: Libraries file not found: GARBAGE
Run 'agda --help' for help on command line options.
